Regular bi-interpretability of Chevalley groups over local rings

نویسندگان

چکیده

We prove that if $$G(R)=G_\pi (\Phi ,R)$$ $$(E(R)=E_{\pi }(\Phi , R))$$ is an (elementary) Chevalley group of rank $$> 1$$ R a local ring (with $$\frac{1}{2}$$ for the root systems $${{\textbf{A}}}_2, {{\textbf{B}}}_l, {{\textbf{C}}}_l, {{\textbf{F}}}_4, {{\textbf{G}}}_2$$ and with $$\frac{1}{3}$$ $${{\textbf{G}}}_{2})$$ then G(R) (or (E(R)) regularly bi-interpretable R. As consequence this theorem, we show class all groups over rings listed restrictions) elementarily definable, i.e., arbitrary H have $$H\equiv G_\pi R)$$ there exists $$R'\equiv R$$ such $$H\cong ,R')$$ .

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Chevalley Groups over Commutative Rings I. Elementary Calculations

This is the rst in a series of papers dedicated to the structure of Chevalley groups over commutative rings. The goal of this series is to systematically develop methods of calculations in Chevalley groups over rings, based on the use of their minimal modules. As an application we give new direct proofs for normality of the elementary subgroup, description of normal subgroups and similar result...

متن کامل

Orthogonal Groups over Local Rings

In an earlier paper [S] we have determined the structure of the linear groups over a local ring. In this note we continue the study of the classical groups over a local ring with the investigation of the orthogonal groups. Our main result (cf. Theorem 6 below) is a complete description of the invariant subgroups of an orthogonal group of noncompact type (i.e., of index ^ 1) over a local ring L ...

متن کامل

Chow Rings and Cobordism of Some Chevalley Groups

We compute the cobordism rings of the classifying spaces of a certain class of Chevalley groups. In the particular case of the general linear group, we prove that it is isomorphic to the Chow ring.

متن کامل

Low Dimensional Homology of Linear Groups over Hensel Local Rings

We prove that if R is a Hensel local ring with infinite residue field k, the natural map Hi(GLn(R),Z/p) → Hi(GLn(k), Z/p) is an isomorphism for i ≤ 3, p 6= char k. This implies rigidity for Hi(GLn), i ≤ 3, which in turn implies the Friedlander–Milnor conjecture in positive characteristic in degrees ≤ 3. A fundamental question in the homology of linear groups is that of rigidity: given a smooth ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: European journal of mathematics

سال: 2023

ISSN: ['2199-675X', '2199-6768']

DOI: https://doi.org/10.1007/s40879-023-00659-4